<html>
<head><meta charset="utf-8"><title>weekly meeting 2019-02-11 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html">weekly meeting 2019-02-11</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="158052965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158052965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158052965">(Feb 11 2019 at 18:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> are we going to have a traits meeting today?</p>



<a name="158052993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158052993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158052993">(Feb 11 2019 at 18:39)</a>:</h4>
<p>I figured yes, a short meeting</p>



<a name="158053957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158053957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158053957">(Feb 11 2019 at 18:52)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="158054591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158054591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158054591">(Feb 11 2019 at 18:58)</a>:</h4>
<p>Hi</p>



<a name="158054683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158054683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158054683">(Feb 11 2019 at 19:00)</a>:</h4>
<p>Gonna be a few minutes late, prior thing running over</p>



<a name="158054827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158054827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158054827">(Feb 11 2019 at 19:01)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="158055003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055003">(Feb 11 2019 at 19:03)</a>:</h4>
<p>ok, here</p>



<a name="158055005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055005">(Feb 11 2019 at 19:03)</a>:</h4>
<p>sorry about that</p>



<a name="158055015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055015">(Feb 11 2019 at 19:03)</a>:</h4>
<p>so, I've not had a ton of time to get organized since the Rust All Hands, but I was thinking that a good topic for today</p>



<a name="158055068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055068">(Feb 11 2019 at 19:04)</a>:</h4>
<p>might be to talk a bit about next steps</p>



<a name="158055076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055076">(Feb 11 2019 at 19:04)</a>:</h4>
<p>we didn't really get to that in the meeting in the all hands itself, for better or worse</p>



<a name="158055093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055093">(Feb 11 2019 at 19:05)</a>:</h4>
<p>I had some ideas I wanted to float</p>



<a name="158055130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055130">(Feb 11 2019 at 19:05)</a>:</h4>
<p>first of all, I was thinking about how it might be good for us as a working group to do a bit of "meta analysis" about what the "Priority 1 problems" are that we aim to tackle</p>



<a name="158055146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055146">(Feb 11 2019 at 19:05)</a>:</h4>
<p>i.e., we've been focused a lot on chalk integration etc, which I am of course still committed to</p>



<a name="158055161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055161">(Feb 11 2019 at 19:06)</a>:</h4>
<p><strong>but</strong> I was thinking that it's not really a goal in and of itself</p>



<a name="158055226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055226">(Feb 11 2019 at 19:06)</a>:</h4>
<p>I would probably say that the goals are:</p>
<ul>
<li>unblocking const generics (lazy norm to some extent)</li>
<li>GAT support for some use cases</li>
<li>better correctness, performance</li>
</ul>



<a name="158055228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055228">(Feb 11 2019 at 19:06)</a>:</h4>
<p>maybe other things</p>



<a name="158055247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055247">(Feb 11 2019 at 19:06)</a>:</h4>
<p>my point being that some of those things -- e.g., GAT support -- might be achievable with today's solver too</p>



<a name="158055260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055260">(Feb 11 2019 at 19:07)</a>:</h4>
<p>and it might be .. useful to spend time talking about how the solver works and how that might be achieved</p>



<a name="158055274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055274">(Feb 11 2019 at 19:07)</a>:</h4>
<p>if nothing else it would help everybody learn how the code works, and maybe help us crystallize the challenges</p>



<a name="158055282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055282">(Feb 11 2019 at 19:07)</a>:</h4>
<p>to take a step <strong>back</strong>, I think what I'm proposing is that before we write any CODE, we should spend a bit of time doing more DESIGN</p>



<a name="158055394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055394">(Feb 11 2019 at 19:08)</a>:</h4>
<p>(related: there are some bugs around the area of the universe code that I landed that need to be fixed, and I think that might be an opportunity for us in a way. e.g., I was contemplating trying to do some zoom calls where we talk over what the universe code does, what the bug is, and what the fixes might look like)</p>



<a name="158055405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055405">(Feb 11 2019 at 19:08)</a>:</h4>
<p>Yeah so I guess concretely what I imagined is basically recorded zoom calls</p>



<a name="158055438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055438">(Feb 11 2019 at 19:09)</a>:</h4>
<p>I have to think a <em>bit</em> about the topics, but basically trying to (a) walk through the problem and (b) sketch out what it would look like in current system.</p>



<a name="158055451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055451">(Feb 11 2019 at 19:09)</a>:</h4>
<p>sort of Q&amp;A periods</p>



<a name="158055469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055469">(Feb 11 2019 at 19:09)</a>:</h4>
<p>I feel like I have a lot of the knowledge, but there is "prep work" to be done, and there might be a way to do some of that prep work collaboratively</p>



<a name="158055481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055481">(Feb 11 2019 at 19:09)</a>:</h4>
<p>anyway i'll stop typing here I'm a bit curious to get some feedback from y'all (also, who's present exactly?)</p>



<a name="158055538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055538">(Feb 11 2019 at 19:10)</a>:</h4>
<p>oh also I think we forgot to cc <span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span></p>



<a name="158055539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055539">(Feb 11 2019 at 19:10)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="158055550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055550">(Feb 11 2019 at 19:10)</a>:</h4>
<p>if so, and you're just showing up, um, sorry :)</p>



<a name="158055582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055582">(Feb 11 2019 at 19:10)</a>:</h4>
<p>so, i'm obviously new here, but this sounds great to me personally, as a way to start  getting acclimated</p>



<a name="158055602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055602">(Feb 11 2019 at 19:11)</a>:</h4>
<p>oh yeah and let's all welcome <span class="user-mention" data-user-id="116010">@Aaron Turon</span>, who wants to get involved :)</p>



<a name="158055631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055631">(Feb 11 2019 at 19:11)</a>:</h4>
<p>Hi Aaron! <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span> <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span> <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="158055638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055638">(Feb 11 2019 at 19:11)</a>:</h4>
<p>one other related thing: I plan to spin up a "T-lang" working group paired with this one, which would be focused on the <strong>lang specification</strong> part of chalk</p>



<a name="158055651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055651">(Feb 11 2019 at 19:11)</a>:</h4>
<p>e.g., deciding what the correct lowering rules are</p>



<a name="158055653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055653">(Feb 11 2019 at 19:11)</a>:</h4>
<p>welcome!</p>



<a name="158055654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055654">(Feb 11 2019 at 19:11)</a>:</h4>
<p>Welcome Aaron!</p>



<a name="158055666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055666">(Feb 11 2019 at 19:11)</a>:</h4>
<p>since that decides the Rust semantics</p>



<a name="158055678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055678">(Feb 11 2019 at 19:11)</a>:</h4>
<p>e.g., <span class="user-mention" data-user-id="117350">@Sunjay Varma</span>, the way we talked about the specialization lowering</p>



<a name="158055679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055679">(Feb 11 2019 at 19:12)</a>:</h4>
<p>&lt;3 thanks all! i'm so excited to work on this with y'all</p>



<a name="158055750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055750">(Feb 11 2019 at 19:12)</a>:</h4>
<p>(though I sort of think the two things might "co-meet"? organizationally it's a bit unclear)</p>



<a name="158055770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055770">(Feb 11 2019 at 19:12)</a>:</h4>
<p>the zoom calls sound great to me as well</p>



<a name="158055791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055791">(Feb 11 2019 at 19:12)</a>:</h4>
<p>Yes good idea! I've actually got some time to work on specialization this week :)</p>



<a name="158055832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055832">(Feb 11 2019 at 19:13)</a>:</h4>
<p>/me ponders ponders ponders</p>



<a name="158055854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055854">(Feb 11 2019 at 19:13)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> so what's the best way for us to learn how Chalk works at a higher level and also the details of the code, you think? read the rustc section first, then do zoom calls? anything else?</p>



<a name="158055874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055874">(Feb 11 2019 at 19:13)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> an interesting question.  I feel like <em>hopefully</em> one learn how chalk works in isolation</p>



<a name="158055923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055923">(Feb 11 2019 at 19:14)</a>:</h4>
<p>but this is sort of one of the things I'm wrestling with a bit</p>



<a name="158055935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055935">(Feb 11 2019 at 19:14)</a>:</h4>
<p>mmh</p>



<a name="158055938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055938">(Feb 11 2019 at 19:14)</a>:</h4>
<p>specifically, how much energy to invest in <strong>chalk</strong></p>



<a name="158055945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055945">(Feb 11 2019 at 19:14)</a>:</h4>
<p>at this exact moment</p>



<a name="158055956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055956">(Feb 11 2019 at 19:14)</a>:</h4>
<p>e.g., we had started a bit introducing salsa to chalk etc</p>



<a name="158055962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055962">(Feb 11 2019 at 19:14)</a>:</h4>
<p>I still think those are useful things</p>



<a name="158055971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055971">(Feb 11 2019 at 19:14)</a>:</h4>
<p>^ FWIW I really liked the chalk intro doc you started to write for the all-hands <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="158055989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158055989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158055989">(Feb 11 2019 at 19:14)</a>:</h4>
<p>I’m ok with trying to implement said features within the existing trait solver</p>



<a name="158056010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056010">(Feb 11 2019 at 19:15)</a>:</h4>
<p>but I'm worried about spreading ourselves a bit thin? and thinking maybe it makes sense to start looking a bit at the rustc side first, if for no other reason then</p>



<a name="158056017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056017">(Feb 11 2019 at 19:15)</a>:</h4>
<p>maybe we can implement initial versions</p>



<a name="158056022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056022">(Feb 11 2019 at 19:15)</a>:</h4>
<p>and lower the "pressure"</p>



<a name="158056026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056026">(Feb 11 2019 at 19:15)</a>:</h4>
<p>Although I’d rather use the time I have to push on chalk integration</p>



<a name="158056034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056034">(Feb 11 2019 at 19:15)</a>:</h4>
<p>it's not exactly exclusive eitehr</p>



<a name="158056035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056035">(Feb 11 2019 at 19:15)</a>:</h4>
<p>yeah, spreading ourselves thin is definitely a risk. my TODO list is long enough already (about half of it is trait-related)</p>



<a name="158056043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056043">(Feb 11 2019 at 19:15)</a>:</h4>
<p>Niko is there a priority list of big things that need to be done? Maybe we can focus our work that way</p>



<a name="158056067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056067">(Feb 11 2019 at 19:15)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> not exactly but I think drawing up such a thing is a good idea</p>



<a name="158056116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056116">(Feb 11 2019 at 19:16)</a>:</h4>
<p>I find the existing solver confusing, but maybe it's just a lack of docs and calls over how it works</p>



<a name="158056118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056118">(Feb 11 2019 at 19:16)</a>:</h4>
<p>this is what I meant by P1 problems</p>



<a name="158056128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056128">(Feb 11 2019 at 19:16)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> are you still focusing on bounds collection in the integration code?</p>



<a name="158056132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056132">(Feb 11 2019 at 19:16)</a>:</h4>
<blockquote>
<p>I find the existing solver confusing, but maybe it's just a lack of docs and calls over how it works</p>
</blockquote>
<p>don't get me wrong, I still want to replace it</p>



<a name="158056165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056165">(Feb 11 2019 at 19:16)</a>:</h4>
<blockquote>
<p>I would probably say that the goals are:</p>
<ul>
<li>unblocking const generics (lazy norm to some extent)</li>
<li>GAT support for some use cases</li>
<li>better correctness, performance</li>
</ul>
</blockquote>
<p>that was my initial sort of list of "big problems today"</p>



<a name="158056179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056179">(Feb 11 2019 at 19:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> are you talking about these docs? <a href="https://github.com/rust-lang-nursery/chalk/blob/master/chalk-engine/src/README.md" target="_blank" title="https://github.com/rust-lang-nursery/chalk/blob/master/chalk-engine/src/README.md">https://github.com/rust-lang-nursery/chalk/blob/master/chalk-engine/src/README.md</a></p>



<a name="158056191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056191">(Feb 11 2019 at 19:16)</a>:</h4>
<p>(I found them confusing too!)</p>



<a name="158056211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056211">(Feb 11 2019 at 19:17)</a>:</h4>
<p>No, I think <span class="user-mention" data-user-id="116883">@tmandry</span> was talking about rustc's trait solver</p>



<a name="158056219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056219">(Feb 11 2019 at 19:17)</a>:</h4>
<p>ohhh</p>



<a name="158056222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056222">(Feb 11 2019 at 19:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> it is a bit. I've mainly fumbled my way around to get things done, but I don't think I understand the whole thing.</p>



<a name="158056223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056223">(Feb 11 2019 at 19:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> i might add to that list: there's at least one HRTB-related issue that's a big headache for async/await. i'm not sure whether it's also something that can  be tackled prior to moving fully to chalk</p>



<a name="158056229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056229">(Feb 11 2019 at 19:17)</a>:</h4>
<p>yes!</p>



<a name="158056231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056231">(Feb 11 2019 at 19:17)</a>:</h4>
<p>so I feel like it would be good for us</p>



<a name="158056234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056234">(Feb 11 2019 at 19:17)</a>:</h4>
<p>to dig into the existing problems</p>



<a name="158056239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056239">(Feb 11 2019 at 19:17)</a>:</h4>
<p>and convince ourselves whether they can be solved another way</p>



<a name="158056252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056252">(Feb 11 2019 at 19:17)</a>:</h4>
<p>basically I think we should avoid the "everything is blocked on chalk" syndrome</p>



<a name="158056259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056259">(Feb 11 2019 at 19:17)</a>:</h4>
<p>unless of course it's really needed</p>



<a name="158056308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056308">(Feb 11 2019 at 19:18)</a>:</h4>
<p>let me start putting things into a paper doc</p>



<a name="158056316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056316">(Feb 11 2019 at 19:18)</a>:</h4>
<p>sounds good. my main worry is that learning how two systems work is a lot of overhead for the WG, but not sure how true that is</p>



<a name="158056324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056324">(Feb 11 2019 at 19:18)</a>:</h4>
<p>then I think the way to proceed would be to kind of dig into those problems 1 by 1 interactively</p>



<a name="158056331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056331">(Feb 11 2019 at 19:18)</a>:</h4>
<blockquote>
<ul>
<li>unblocking const generics (lazy norm to some extent)</li>
<li>GAT support for some use cases</li>
<li>better correctness, performance</li>
</ul>
</blockquote>
<p>So which of these is top priority? Maybe we can focus on just one or two things instead of all of it?</p>



<a name="158056355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056355">(Feb 11 2019 at 19:18)</a>:</h4>
<p>OTOH, maybe learning how the old one system works is also helpful as we work on implementation of the new one</p>



<a name="158056363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056363">(Feb 11 2019 at 19:18)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> i wonder whether it might make sense on a person-by-person basis to  "specialize" in one or the other, unsure</p>



<a name="158056394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056394">(Feb 11 2019 at 19:19)</a>:</h4>
<p>ok, this is our <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting-oDfr6ct8xx63HSAOOmIZX">WG-traits paper document</a></p>



<a name="158056397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056397">(Feb 11 2019 at 19:19)</a>:</h4>
<blockquote>
<p>OTOH, maybe learning how the old one system works is also helpful as we work on implementation of the new one</p>
</blockquote>
<p>I think it will be</p>



<a name="158056404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056404">(Feb 11 2019 at 19:19)</a>:</h4>
<p>that said</p>



<a name="158056406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056406">(Feb 11 2019 at 19:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> it may really delay things though... I think a minimal understanding of the old system necessary to do stuff in Chalk is the way to go, personally.</p>



<a name="158056418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056418">(Feb 11 2019 at 19:19)</a>:</h4>
<p>I think that the idea should be -- we should dig into the problems first, but as we setup a plan, and more people get involved, they don't necessarily have to do all the things</p>



<a name="158056505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056505">(Feb 11 2019 at 19:20)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116883">@tmandry</span> i wonder whether it might make sense on a person-by-person basis to  "specialize" in one or the other, unsure</p>
</blockquote>
<p>yes, my feeling is this will happen naturally</p>



<a name="158056506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056506">(Feb 11 2019 at 19:20)</a>:</h4>
<p>I'm going to have to leave sharply at 2:30 today but</p>



<a name="158056536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056536">(Feb 11 2019 at 19:20)</a>:</h4>
<p>I think we should work by nominating <strong>actual bugs</strong></p>



<a name="158056542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056542">(Feb 11 2019 at 19:20)</a>:</h4>
<p>and/or problems</p>



<a name="158056548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056548">(Feb 11 2019 at 19:20)</a>:</h4>
<p>and at least spend some time digging into them</p>



<a name="158056565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056565">(Feb 11 2019 at 19:21)</a>:</h4>
<p>here's the async-related issue, <a href="https://github.com/rust-lang/rust/issues/51004" target="_blank" title="https://github.com/rust-lang/rust/issues/51004">https://github.com/rust-lang/rust/issues/51004</a></p>



<a name="158056665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056665">(Feb 11 2019 at 19:22)</a>:</h4>
<p><span class="user-mention" data-user-id="116010">@Aaron Turon</span> can you add it into <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AXZQ2aPIxpiEdUDUAJMyaErYAg-oDfr6ct8xx63HSAOOmIZX#:uid=827672300747567415572731&amp;h2=2019.02.11" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AXZQ2aPIxpiEdUDUAJMyaErYAg-oDfr6ct8xx63HSAOOmIZX#:uid=827672300747567415572731&amp;h2=2019.02.11">the paper</a></p>



<a name="158056693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056693">(Feb 11 2019 at 19:22)</a>:</h4>
<p>one specific bug I am thinking of starting with is</p>



<a name="158056793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056793">(Feb 11 2019 at 19:23)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/57639" target="_blank" title="https://github.com/rust-lang/rust/issues/57639">https://github.com/rust-lang/rust/issues/57639</a></p>



<a name="158056794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056794">(Feb 11 2019 at 19:23)</a>:</h4>
<p>because it is a regression</p>



<a name="158056800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056800">(Feb 11 2019 at 19:23)</a>:</h4>
<p>and because it's assigned to me to fix :P</p>



<a name="158056805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056805">(Feb 11 2019 at 19:23)</a>:</h4>
<p>the idea would be to start by explaining the change I made that caused it</p>



<a name="158056809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056809">(Feb 11 2019 at 19:23)</a>:</h4>
<p>cover a bit the solver etc</p>



<a name="158056858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056858">(Feb 11 2019 at 19:24)</a>:</h4>
<p>let's just try that out and see how it goes, and then we'll proceed to other things?</p>



<a name="158056866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056866">(Feb 11 2019 at 19:24)</a>:</h4>
<p>sounds great!</p>



<a name="158056885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056885">(Feb 11 2019 at 19:24)</a>:</h4>
<p>if so, let's do the recorded video thing... hmm .. <em>probably</em> tomorrow?</p>



<a name="158056889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056889">(Feb 11 2019 at 19:24)</a>:</h4>
<p>or wednesday</p>



<a name="158056894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056894">(Feb 11 2019 at 19:24)</a>:</h4>
<p>either works for  me</p>



<a name="158056896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056896">(Feb 11 2019 at 19:25)</a>:</h4>
<p>I'd like to get going sooner rather than later</p>



<a name="158056942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056942">(Feb 11 2019 at 19:25)</a>:</h4>
<p>my schedule is pretty open as well</p>



<a name="158056950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158056950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158056950">(Feb 11 2019 at 19:25)</a>:</h4>
<p>I could do tomorrow at noon UTC-5 (Boston time)</p>



<a name="158057039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057039">(Feb 11 2019 at 19:26)</a>:</h4>
<p>I probably won't be able to make it but I'll watch the recording <span aria-label="smiley" class="emoji emoji-1f603" role="img" title="smiley">:smiley:</span></p>



<a name="158057051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057051">(Feb 11 2019 at 19:26)</a>:</h4>
<p>same</p>



<a name="158057060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057060">(Feb 11 2019 at 19:27)</a>:</h4>
<p>I could do 1:30 pm if you can make it then (no problem if that doesn't work)</p>



<a name="158057066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057066">(Feb 11 2019 at 19:27)</a>:</h4>
<p>I can't do that tomorrow</p>



<a name="158057071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057071">(Feb 11 2019 at 19:27)</a>:</h4>
<p>I could do later today maybe (15:30 UTC-5 -- i.e., in ~1 hour)</p>



<a name="158057087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057087">(Feb 11 2019 at 19:27)</a>:</h4>
<p>but I'm wondering if I'm going to want some time to prepare a bit and/or have other things I have to do</p>



<a name="158057089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057089">(Feb 11 2019 at 19:27)</a>:</h4>
<p>so prob better to do tomorrow</p>



<a name="158057110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057110">(Feb 11 2019 at 19:27)</a>:</h4>
<p>ok, I will add a calendar invite, anybody who wants on ping me</p>



<a name="158057119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057119">(Feb 11 2019 at 19:28)</a>:</h4>
<p>I have to figure out some way to do a more subscribable calendar sometime</p>



<a name="158057176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057176">(Feb 11 2019 at 19:28)</a>:</h4>
<p>(I guess there are ways to make calendars one can subscribe to...)</p>



<a name="158057186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Turon <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057186">(Feb 11 2019 at 19:28)</a>:</h4>
<p>yeah, google calendar makes this reasonably easy</p>



<a name="158057196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057196">(Feb 11 2019 at 19:28)</a>:</h4>
<p><a href="mailto:varma.sunjay@gmail.com" title="mailto:varma.sunjay@gmail.com">varma.sunjay@gmail.com</a></p>



<a name="158057263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057263">(Feb 11 2019 at 19:29)</a>:</h4>
<p>you can invite me as well</p>



<a name="158057298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057298">(Feb 11 2019 at 19:29)</a>:</h4>
<p>also, maybe it would be good to start linking to the uploaded videos in the paper doc, so people can find them easily</p>



<a name="158057562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057562">(Feb 11 2019 at 19:32)</a>:</h4>
<p>ok, so, invite is sent</p>



<a name="158057569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057569">(Feb 11 2019 at 19:32)</a>:</h4>
<p>I will at a later point figure out how public calendars work :)</p>



<a name="158057573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057573">(Feb 11 2019 at 19:32)</a>:</h4>
<p>oh, regarding videos</p>



<a name="158057584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057584">(Feb 11 2019 at 19:32)</a>:</h4>
<p>I plan to create a repository for this working group</p>



<a name="158057587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057587">(Feb 11 2019 at 19:32)</a>:</h4>
<p>and have all the links there</p>



<a name="158057608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057608">(Feb 11 2019 at 19:32)</a>:</h4>
<p>well, and/or maybe a subdirectory of the the <a href="https://github.com/rust-lang/compiler-team" target="_blank" title="https://github.com/rust-lang/compiler-team">https://github.com/rust-lang/compiler-team</a> repository?</p>



<a name="158057616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057616">(Feb 11 2019 at 19:32)</a>:</h4>
<p>it's been on my to do list for a while, either way</p>



<a name="158057632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057632">(Feb 11 2019 at 19:33)</a>:</h4>
<p>so I hope to get that done asap</p>



<a name="158057859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158057859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158057859">(Feb 11 2019 at 19:36)</a>:</h4>
<p>should work yeah</p>



<a name="158127917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-02-11/near/158127917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-02-11.html#158127917">(Feb 12 2019 at 15:56)</a>:</h4>
<p>Good news! I'll be there for the meeting today. <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span> There's a snowstorm here today, so everything I had scheduled got cancelled! <span aria-label="snowstorm" class="emoji emoji-1f328" role="img" title="snowstorm">:snowstorm:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>